provably secure operation system

英 美
  • 可证明安全操作系统
  • operation n.操作;运转;经营;行动;手术;运算;生效;(复)运筹学
  • provably adv.可证明地(试验得出地;可查验地)
  • secure adj.安全的;牢靠的;稳妥的vt.使安全;获得;固定
  • system n.系统;体系;身体;制度